81. A mathematical introduction to logic
پدیدآورنده : Enderton, Herbert B.
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
E59
82. A mathematical introduction to logic
پدیدآورنده : Enderton, Herbert B.
کتابخانه: Central Library and Documentation Center (Semnan)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
E54
2001
83. A mathematical introduction to logic
پدیدآورنده : / Herbert B. Enderton
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Logic, Symbolic and mathematical
رده :
QA9
.
E54
2001
84. A mathematical introduction to logic
پدیدآورنده : Enderton, Herbert B.
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Logic,Symbolic and mathematical
رده :
QA
9
.
E54
85. A mathematical introduction to logic
پدیدآورنده : / Herbert B. Enderton
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Logic, Symbolic and mathematical
رده :
E-BOOK
86. A mathematical introduction to logic
پدیدآورنده : Enderton, Herbert B.
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
E5
87. A mathematical introduction to logic
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Logic, Symbolic and mathematical. ;
88. A primer of formal logic
پدیدآورنده : By John C. Cooley
کتابخانه: Library of Faculty Literature of University of Tehran (Tehran)
موضوع : Logic.,Logic, Symbolic and mathematical.,Mathematics - philosophy
89. A profile of mathematical logic
پدیدآورنده : DeLong, Howard
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
D37
90. A profile of mathematical logic.
پدیدآورنده :
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical.,Logic.,Mathematics.,Logique symbolique et mathématique.,Logic, Symbolic and mathematical.,Logica Matematica (Textos Introdutorios),Logique symbolique et mathématique.,Mathématiques-- Philosophie.,Mathematische Logik,Mathematische Logik.
رده :
QA9
.
D37
91. A profile of mathematical logic
پدیدآورنده : DeLong, Howard
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
D37
92. A profile of mathematical logic /
پدیدآورنده : Howard DeLong.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical.
رده :
QA9
.
D37
2004
93. A readable introduction to real mathematics
پدیدآورنده : Rosenthal, Daniel.
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Mathematics,، Logic, Symbolic and mathematical,، Mathematics - Problems, exercises, etc.
رده :
QA
93
.
R6
2014
94. A resolution principle for a logic with restricted quantifiers
پدیدآورنده : H.-J. Burckert
کتابخانه: Central Library and Document Center of Shahid Madani University of Azarbayjan (East Azarbaijan)
موضوع : Automatic theorem proving,Logic, Symbolic and mathematical
رده :
QA
,
76
.
9
,.
A96B87
95. A resolution principle for a logic with restricted quantifiers
پدیدآورنده : Burckert, Hans-Jurgen
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Automatic theorem proving,، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
568
96. A science of operations
پدیدآورنده : Mark Priestley
کتابخانه: Central Library and Information Center of Shahed University (Tehran)
موضوع : Computer programming, History,Programming languages (Electronic computers), History,Microcomputers, History,Logic, Symbolic and mathematical
رده :
QA
،
76
.
6
،.
P737
،
2010
97. A structuralist theory of logic
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Logic, Symbolic and mathematical. ;
98. A structuralist theory of logic
پدیدآورنده : Koslow, Arnold
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Logic, Symbolic and mathematical,، Implication )Logic(,، Structuralism
رده :
BC
135
.
K64
99. A structuralist theory of logic
پدیدآورنده : / Arnold Koslow
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Logic, Symbolic and mathematical.,Implication (Logic),Structuralism.
رده :
BC
,
135
,.
K67
,
1992
